Floating-point arithmetic - PDFSEARCH.IO - Document Search Engine

Floating-point arithmetic
Results: 1057

#	Item
71	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-30 12:02:04 Software engineering Computing Computer programming C Data types Undefined behavior Integer overflow Printf format string Objective-C C99 Floating point Arithmetic overflow
72	JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2015-10-06 03:32:12 Computer algebra Computer arithmetic Algebra Numerical analysis Polynomials Interval arithmetic Automatic differentiation Floating point Polynomial Remainder Symbolic computation Interval
73	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number
74	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
75	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Numerical analysis Arithmetic Floating point Arithmetic underflow Rounding Interval arithmetic Precision Round-off error Significant figures
76	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval
77	GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2015-06-19 17:58:25 Software Computer arithmetic Compiling tools C GNU MPFR GNU Multiple Precision Arithmetic Library Configure script SageMath Rounding GNU Compiler Collection C standard library GNU
78	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
79	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number
80	Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-10-09 12:04:53 Compilers Computer arithmetic CompCert Logic in computer science Xavier Leroy GNU Compiler Collection Floating point X86

UPDATE